(Rmail Labels): ifinfo -> ifnottex.

diff --git a/man/rmail.texi b/man/rmail.texi
index 3ad50ff3b715575e08f0a91ac82d7ac4921f6ffd..5c6c2e5011bb71612c9f9665e9f8c93e28d46d68 100644 (file)
--- a/man/rmail.texi
+++ b/man/rmail.texi
@@ -550,9 +550,9 @@ labels.  Any given label is either present or absent on a particular
 message.  A few label names have standard meanings and are given to
 messages automatically by Rmail when appropriate; these special labels
 are called @dfn{attributes}.
-@ifinfo
+@ifnottex
 (@xref{Rmail Attributes}.)
-@end ifinfo
+@end ifnottex
 All other labels are assigned only by users.
 
 @table @kbd